#include <stdio.h>
int main()
{
	printf("%d", sizeof(int [10]));

	return 0;
}


